searchbar: ignore GDK_KEY_Menu in handle_event()
authorStefano Facchini <stefano.facchini@gmail.com>
Mon, 5 Aug 2013 16:22:20 +0000 (18:22 +0200)
committerMatthias Clasen <mclasen@redhat.com>
Wed, 14 Aug 2013 00:40:06 +0000 (20:40 -0400)
commitf462dded36c656a4e063a2d1131febc5955806e0
tree24351b0091f3629bcd058872e28efc89e6024f20
parent980000a64e01576cf14533b6aee53041c2589727
searchbar: ignore GDK_KEY_Menu in handle_event()

https://bugzilla.gnome.org/show_bug.cgi?id=705524
gtk/gtksearchbar.c